#include <stdio.h>
#include <stm32f4xx.h>
#include <stm32f4xx_gpio.h>
#include "stm32f4xx_conf.h"
#include <stm32f4xx_spi.h>
#include <string.h>
/*

	
void setup(void){
		GPIO_InitTypeDef GPIO_InitStruct;
		RCC_AHB1PeriphClockCmd(RCC_AHB1Periph_GPIOD, ENABLE);
		GPIO_InitStruct.GPIO_Pin = GPIO_Pin_15;
		GPIO_InitStruct.GPIO_Mode = GPIO_Mode_OUT;
		GPIO_InitStruct.GPIO_Speed = GPIO_Speed_50MHz;
		GPIO_InitStruct.GPIO_OType = GPIO_OType_PP;
		GPIO_InitStruct.GPIO_PuPd = GPIO_PuPd_NOPULL;
		GPIO_Init(GPIOD, &GPIO_InitStruct);
		RCC_AHB1PeriphClockCmd(RCC_AHB1Periph_GPIOA, ENABLE);
}
*/


int main(void){
		//setup();
		//while(1){
				//GPIOD->BSRRH = GPIO_Pin_15;
		//}
	char x[] = "xxx";
	
	printf("Hello %s",x);
	 
}

